- Vaught test
- Математика: признак Вота
Универсальный англо-русский словарь. Академик.ру. 2011.
Vaught test
Смотреть что такое "Vaught test" в других словарях:
Tarski-Vaught test — The Tarski Vaught test (sometimes called Tarski s criterion) is a result in model theory which characterizes the elementary substructures of a given structure using definable sets. It is often used to determine whether a substructure of a… … Wikipedia
Vaught's test — In mathematical logic, Vaught s test is a sufficient condition for the completeness of a set of sentences in a first order language. Let Gamma be such a set, in a language mathfrak L with no finite models and assume it is kappa categorical for… … Wikipedia
Robert Lawson Vaught — (April 4 1926, Alhambra, California – April 2 2002) was a mathematical logician, and one of the founders of model theory. LifeVaught was a bit of a musical prodigy in his youth, in his case the piano. He began his university studies at Pomona… … Wikipedia
Morley's categoricity theorem — Vaught s test redirects here. Not to be confused with the Tarski–Vaught test. Categorical theory redirects here. Not to be confused with Category Theory. In model theory, a branch of mathematical logic, a theory is κ categorical (or categorical… … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie … Wikipedia
Löwenheim–Skolem theorem — In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The… … Wikipedia
Elementary substructure — In model theory, given two structures mathfrak A 0 and mathfrak A, both of a common signature Sigma, we say that mathfrak A 0 is an elementary substructure of mathfrak A (sometimes notated mathfrak A 0 preceq mathfrak A [Monk 1976: 331 (= Def. 19 … Wikipedia
Definable set — In mathematical logic, a definable set is an n ary relation on the domain of a structure whose elements are precisely those elements satisfying some formula in the language of that structure. A set can be defined with or without parameters, which … Wikipedia
National Register of Historic Places listings in Huntsville, Alabama — Huntsville and its surrounding area This is a list of the National Register of Historic Places listings in Huntsville, Alabama. This is intended to be a complete list of the properties and districts on the National Register of Historic Places in… … Wikipedia
List of mathematics articles (V) — NOTOC Vac Vacuous truth Vague topology Valence of average numbers Valentin Vornicu Validity (statistics) Valuation (algebra) Valuation (logic) Valuation (mathematics) Valuation (measure theory) Valuation of options Valuation ring Valuative… … Wikipedia
